1461. Towards evolvable hardware : the evolutionary engineering approach
Author: Eduardo Sanchez, Marco Tomassini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1062
1462. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
1463. Trends, Techniques, and Problems in Theoretical Computer Science :
Author: edited by Alica Kelemenová, Jozef Kelemen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Statistics.
1464. Understanding and interpreting machine learning in medical image computing applications :
Author: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
Classification :
RC78
.
7
.
D53
I58
2018
1465. Understanding planning tasks
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Planning ; Mathematical models. ; Problem solving ; Mathematical models. ; Computer algorithms. ; Heuristic programming. ;
1466. Understanding planning tasks
Author: / Malte Helmert
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence.,Planning--Mathematical models,Problem solving--Mathematical models,Computer algorithms.,Heuristic programming.
Classification :
Q
,
335
,.
H444
,
2008
1467. Underwater Acoustics and Signal Processing
Author: edited by Leif Bjørnø.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geography.,Oceanography.
1468. Undocumented secrets of MATLAB-Java programming /
Author: Yair Altman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB.,MATLAB.,Java (Computer program language),Numerical analysis-- Data processing.,Numerical Analysis, Computer-Assisted.,Programming Languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Programming-- Algorithms.,Java (Computer program language),MATHEMATICS-- Number Systems.,MATHEMATICS-- Numerical Analysis.,Numerical analysis-- Data processing.
Classification :
QA297
.
A544
2012
1469. User s guide for LINDO and LINGO, Windows Versions
Author: Roe, Andrew
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Linear programming - Software , Programming )Mathematics(
Classification :
T
57
.
74
.
R63
1997
1470. Using OpenMP - the next step :
Author: Ruud van der Pas, Eric Stotzer, and Christian Terboven.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: OpenMP (Application program interface),OpenMP (Application program interface),Application program interfaces (Computer software),Parallel programming (Computer science),Application program interfaces (Computer software),Parallel programming (Computer science)
Classification :
QA76
.
642
.
P427
2017
1471. Using Toolpack Software Tools :
Author: edited by A.A. Pollicini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
95
E358
1989
1472. VLSI:
Author: edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer-aided design.,Engineering.
Classification :
TK7874
.
E358
2000
1473. Variable neighborhood search :
Author: Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Traveling salesman problem, Congresses.,Traveling salesman problem.
Classification :
QA402
.
5
1474. Variants of evolutionary algorithms for real-world applications
Author: Raymond Chiong, Thomas Weise, and Zbigniew Michalewicz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms
Classification :
QA402
.
5
.
V37
2012eb
1475. Vector game math processors
Author: / James Leiterman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
Classification :
QA76
.
5
.
L446
2003
1476. Vector game math processors
Author: James Leiterman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
Classification :
QA76
.
5
.
L446
2003eb
1477. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
1478. Verification of digital and hybrid systems
Author: edited by M. Kemal Inan, Robert P. Kurshan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
Classification :
QA76
.
76
.
V47
E358
2000
1479. Visual saliency :
Author: Jianming Zhang, Filip Malmberg, Stan Sclaroff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Image processing-- Digital techniques.,Image processing-- Digital techniques.
Classification :
TA1637
.
Z43
2019
1480. Vritti:
Author: Gandhi, Shruti
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering
